对
, 取充分小的
, 使得
则有
证毕.